Temporal logic - PDFSEARCH.IO - Document Search Engine

Temporal logic
Results: 715

#	Item
131	Labelled Tableaux for Temporal Logic with Cardinality Constraints Clare Dixon, Boris Konev University of Liverpool, UK {CLDixon, Konev}@liverpool.ac.uk Add to Reading List Source URL: www.cs.man.ac.uk Language: English - Date: 2013-05-19 19:09:39
132	Temporal Reasoning for RDF(S): A Markov Logic based Approach Jakob Huber Add to Reading List Source URL: ub-madoc.bib.uni-mannheim.de Language: English - Date: 2014-10-15 08:25:45
133	Point-Interval Logic Inference Mechanism General Temporal Problem An Inference Mechanism for Point-Interval Logic Add to Reading List Source URL: www.eecs.tufts.edu Language: English - Date: 2008-05-17 10:05:33 Reasoning Abstraction Logic Interval temporal logic Inference Temporal logic
134	Electronic Notes in Theoretical Computer ScienceURL: http://www.elsevier.nl/locate/entcs/volume83.html 32 pages Secure Protocol Composition Anupam Datta 1 Ante Derek 1 John C. Mitchell 1 Computer Science Depar Add to Reading List Source URL: seclab.stanford.edu Language: English - Date: 2010-07-17 01:14:12 Logic Mathematics Abstraction Formal languages Mathematical logic Linear temporal logic Temporal logic Automated theorem proving Propositional calculus Substitution IP Interpretation
135	The Expressive Completeness of Metric Temporal Logic 2ex Add to Reading List Source URL: highlights-conference.org Language: English* - Date: 2013-09-18 06:35:46 Mathematical logic Logic Fuzzy logic Theoretical computer science Temporal logic Monoidal t-norm logic FO LTL BL First-order logic Model checking MTL
136	LTL Linear Time Temporal Logic Kripke Structure • K = 〈S, R, L〉 S: set of states (may be infinite) Add to Reading List Source URL: hagi.is.s.u-tokyo.ac.jp Language: English - Date: 2011-10-30 22:46:01
137	Algebra for Infinite Forests with an Application to the Temporal Logic EF? Mikolaj Boja´ nczyk and Tomasz Idziaszek University of Warsaw, Poland {bojan,idziaszek}@mimuw.edu.pl Add to Reading List Source URL: duch.mimuw.edu.pl Language: English - Date: 2015-05-11 06:11:18
138	[12] D. Peled. Combining partial order reductions with on-the-fly model checking. Sixth Conference on Computer Aided Verification, LNCS 818, 377–390, A. Pnueli. The temporal logic of programs. 18th Symposium Add to Reading List Source URL: www.kenmcmil.com Language: English - Date: 2006-06-02 17:23:41
139	Policy Auditing over Incomplete Logs: Theory, Implementation and Applications Deepak Garg Limin Jia Add to Reading List Source URL: www.andrew.cmu.edu Language: English - Date: 2016-02-12 12:31:57 Logic Mathematical logic Model theory Automated theorem proving Logic programming Logical truth Propositional calculus Substitution Symbol First-order logic Linear temporal logic FO
140	On properties of logical sentences with arbitrary monadic predicates 1 Nathana¨el Fijalkow and Charles Paperman LIAFA Universit´ e Paris Diderot Add to Reading List Source URL: highlights-conference.org Language: English - Date: 2013-09-18 06:36:01 Formal languages FO Finite model theory Regular language Second-order logic Mathematical logic Linear temporal logic

UPDATE